MsgA $\subseteq\rho$ MsgAForm